[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full) ACM SIGPLAN 19:27 3 years ago 243 Далее Скачать
[PLDI24] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric ACM SIGPLAN 18:28 5 months ago 72 Далее Скачать
How to Evaluate the Performance of Gradual Type Systems Cambridge University Press 6:06 3 years ago 364 Далее Скачать
Space-Efficient Gradual Typing in Coercion-Passing Style ACM SIGPLAN 16:18 4 years ago 65 Далее Скачать
Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi NYC Haskell User's Group 1:03:09 Streamed 5 years ago 214 Далее Скачать
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Ras Bodik 24:19 8 years ago 247 Далее Скачать
Asumu Takikawa - Towards Practical Gradual Typing - ECOOP 2015 ECOOP ! 30:01 9 years ago 299 Далее Скачать
Casts and Costs - Harmonizing Safety and Performance in Gradual Typing ICFP Video 22:14 6 years ago 117 Далее Скачать
An Efficient Compiler for the Gradually Typed Lambda Calculus Arthur Gleckler 25:34 6 years ago 558 Далее Скачать
Łukasz Langa: Gradual Typing of Production Applications PyCascades 47:27 6 years ago 1 475 Далее Скачать
